$\forall$$T$:Type, $L$, $L_{1}$, $L_{2}$:($T$ List). interleaving($T$;$L_{1}$;$L_{2}$;$L$) $\Rightarrow$ $L_{1}$ $\subseteq$ $L$